21. Constraint programming and large scale discrete optimization: DIMACS Workshop Constraint Programming and Large Scale Discrete Optimization, September 14-17, 1998, DIMACS Center
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Constraint programming )Computer science(,Congresses ، Mathematical optimization
رده :
QA
76
.
612
.
D56
1998


22. Constraint programming languages :
پدیدآورنده: Wm. Leler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Bertrand (Computer program language),Constraint programming (Computer science),Bertrand (Langage de programmation),Bertrand (Computer program language),Bertrand (Computer program language),Constraint programming (Computer science),Langage programmation.
رده :
QA76
.
73
.
B47
L45
1988


23. Constraint programming languages: : their specification and generation
پدیدآورنده: Leler, Wm. )William(
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Bertrand )Computer program language(,، Constraint programming )Computer science(
رده :
QA
76
.
73
.
B47L45
1988


24. Constraint solving and language processing
پدیدآورنده: / Henning Christiansen, Peter Rossen Skadhauge, Jorgen Villadsen (eds.)
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع: Constraint programming (Computer science),Logic programming,Natural language processing (Computer science)
رده :
QA
76
.
612
.
C637
2005


25. Constraint solving and language processing : First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004 : revised selected and invited papers
پدیدآورنده: Henning Christiansen, Peter Rossen Skadhauge, Jorgen Villadsen )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming,Congresses ، Natural language processing )Computer science(
رده :
QA
76
.
L28
Vol
.
3438


26. Constraint solving over multi-valued logics :
پدیدآورنده: Francisco Azevedo.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Constraint programming (Computer science),Digital electronics.,Many-valued logic.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Constraint programming (Computer science),Digital electronics.,Many-valued logic.
رده :
QA76
.
612
.
A94
2003eb


27. Constraints in computational logics : theory and applications ; International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 ; revised lectures
پدیدآورنده: Hubert Comon, Claude Marche, Ralf Treinen )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Constraint programming )Computer science(,، Logic programming
رده :
QA
76
.
L28
Vol
.
2002


28. Decision making under contraints
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Constraint programming (Computer science) ; Congresses. ;

29. Essentials of constraint programming
پدیدآورنده: Frیhwirth, Thom
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Constraint programming )Computer science(
رده :
QA
76
.
612
.
F78
2003


30. Essentials of constraint programming /
پدیدآورنده: Thom Frühwirth, Slim Abdennadher
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Constraint programming (Computer science)
رده :
QA76
.
612
.
F78
2003


31. Functional and constraint logic programming
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Functional programming (Computer science) ; Congresses. ; Constraint programming (Computer science) ; Congresses. ; Logic programming ; Congresses. ;

32. Functional and constraint logic programming :
پدیدآورنده: Josep Silva (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Constraint programming (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic programming, Congresses.,Constraint programming (Computer science),Functional programming (Computer science),Logic programming.
رده :
QA76
.
62


33. Functional and constraint logic programming
پدیدآورنده: / Santiago Escobar (ed.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Functional programming (Computer science)--Congresses,Constraint programming (Computer science)--Congresses,Logic programming--Congresses,WFLP
رده :
QA
,
76
.
62
,.
W45
,
2009


34. Functional and constraint logic programming
پدیدآورنده: / Santiago Escobar (ed.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Functional programming (Computer science), Congresses,Constraint programming (Computer science), Congresses,Logic programming, Congresses
رده :
QA76
.
62
.
W45
2010


35. Global optimization and constraint satisfaction
پدیدآورنده: / Christophe Jermann, Arnold Neumaier, Djamila Sam (eds.)
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Constraint programming (Computer science) Congresses,Mathematical optimization Congresses
رده :
QA76
.
612
.
C62
2003


36. Global optimization and constraint satisfaction
پدیدآورنده: / Christophe Jermann, Arnold Neumaier, Djamila Sam (eds.)
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Constraint programming (Computer science) Congresses,Mathematical optimization Congresses
رده :
QA76
.
612
.
C62
2003


37. Global optimization and constraint satisfaction : Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003 : revised selected papers
پدیدآورنده: Christophe Jermann, Arnold Neumaier, Djamila Sam )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Constraint programming )Computer science(,Congresses ، Mathematical optimization
رده :
QA
76
.
L28
Vol
.
3478


38. Global optimization and constraint satisfaction : first International Workshop Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2002 : revised selected papers
پدیدآورنده: Christian Bliek, Christophe Jermann, Arnold Neumaier )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Constraint programming )Computer science(,Congresses ، Mathematical optimization
رده :
QA
76
.
L28
Vol
.
2861


39. Handbook of constraint programming
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Constraint programming (Computer science) ;

40. Handbook of constraint programming
پدیدآورنده: / edited by Francesca Rossi, Peter van Beek, Toby Walsh
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع: Constraint programming (Computer science)
رده :
QA
76
.
612
.
H35
2006
R

